4741. Theoretical computer science
پدیدآورنده :
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Combinatorial analysis- Data processing,، Computational complexity,، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
164
.
T45
4742. Theoretical computer science: 3rd GI Conference, Darmstadt, March 28-30, 1977
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing-- Congresses
رده :
QA
76
.
G4
1977
4743. Theory Manual
پدیدآورنده :
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع : Finite element method,Structural analysis (Engineering)- Matrix methods- Data processing,ABAQUS explicit (Electronic resource),ABAQUS standard (Electronic resource)
رده :
TA
,
347
,.
F5
,
G486
,
2003
4744. Theory of Computing
پدیدآورنده : \ Efim Kinber, Carl Smith
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Electronic data processeing,data processing,داده پردازی ,a03,a03,a03
رده :
E-Book
,
4745. Theory of computing :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic data processing. ;
4746. Theory of computing and systems : ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing--Congresses,، Electronic digital computers--Congresses
رده :
QA
75
.
5
.
I76
1992
4747. Theory of computing and systems : ISTCS'92, Israel symposium, Haifa, Israel, May 27-28 : proceedings
پدیدآورنده : D. Dolev, Z. Galil, M. Rodeh, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic data processing,Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
601
4748. Thinking machines
پدیدآورنده : Gutenmakher, Lev Ivanovich.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computers,، Computer storage devices,، Electronic data processing
رده :
TK
7885
.
4
.
G8713
4749. Thinking machines
پدیدآورنده : Gutenmakher, Lev Ivanovich
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computers,، Computer storage devices,، Electronic data processing
رده :
QA
76
.
G88
4750. Thinking machines
پدیدآورنده : L. Gutenmacher
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computers,computer storage devices,Electronic data processing
رده :
TK
،
4885
,.
4
،.
G8713
4751. Third International Workshop on Object-oriented Real-time Dependable Systems: proceedings, February 5-7, 1997, Newport Beach, California, U.S.A
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Object-oriented databases,Congresses ، Real-time data processing,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Computer networks
رده :
QA
76
.
9
.
D3
.
I587
1997
4752. 3 - Tier client/Server at work
پدیدآورنده : Edwards, Jeri
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Client/Server Distributed computing,، Electronic data processing Distributed processing
رده :
QA
76
.
9
.
C5
E3
4753. Time-domain computer analysis of nonlinear hybrid systems
پدیدآورنده : Sui, Wenquan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic circuits-- Computer simulation,، Electromagnetism-- Computer simulation,، System analysis-- Data processing,، Time domain analysis,، Finite differences
رده :
TK
7867
.
S95
2002
4754. Time-domain computer analysis of nonlinear hybrid systems
پدیدآورنده : / Wenquan Sui
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Electronic circuits, Computer simulation,Electromagnetism, Computer simulation,System analysis, Data processing,Time-domain analysis,Finite differences
رده :
TK7867
.
S95
2002
4755. Tools and techniques for structured systems analysis and design
پدیدآورنده : Davis, William S.
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic data processing,، System analysis
4756. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
پدیدآورنده : Tizina Margaria, Bernhard Steffen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1055
4757. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
پدیدآورنده : E. Brinksma ... )et al.(, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
V0l
.
1019
4758. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده : Ed Brinksma )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
4759. Tools and environments for parallel and distributed computing
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Parallel processing (Electronic computers) ; Electronic data processing ; Distributed processing. ;
4760. Tools and environments for parallel and distributed computing
پدیدآورنده : Hariri, Salim
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Parallel processing )Electronic computers(,Distributed processing ، Electronic data processing
رده :
QA
76
.
58
.
H37
2004